Test Case Generation using KBS Strategy

The system we have developed, SYCOJET, automatically builds test cases making use of specific expert knowledge. In our first version, it uses the internal structure of the knowledge base to be tested, and implicitly assumes that the inference engine derives all that can be derived from the knowledge base and the problem data. Here we are concerned with how to take into account, in a second version of SYCOJET, the actual inference engine control strategy. This control strategy, included in the inference engine, is not in general explicited in a form accessible to the computer. In this paper, we investigate to what extent the knowledge of the control strategy of the system being tested can be used to improve the "quality" of the test cases generated by SYCOJET.